polynomial rings abstract algebra